Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

better means to adjust latex delimiters #41

Merged
merged 1 commit into from
Oct 28, 2023
Merged

better means to adjust latex delimiters #41

merged 1 commit into from
Oct 28, 2023

Conversation

jverzani
Copy link
Owner

No description provided.

@codecov
Copy link

codecov bot commented Oct 28, 2023 •
edited
Loading

Codecov Report

Merging #41 (52417b3) into main (9f0ebf2) will decrease coverage by 0.12%.
Report is 1 commits behind head on main.
The diff coverage is 33.33%.

@@            Coverage Diff             @@
##             main      #41      +/-   ##
==========================================
- Coverage   28.51%   28.40%   -0.12%     
==========================================
  Files           4        4              
  Lines         249      250       +1     
==========================================
  Hits           71       71              
- Misses        178      179       +1
Files Coverage Δ
src/show_methods.jl 4.83% <33.33%> (-0.04%) ⬇️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@jverzani jverzani merged commit e70edd2 into main Oct 28, 2023
6 of 7 checks passed
@jverzani jverzani deleted the latex_delimiters branch October 28, 2023 20:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@jverzani